#include "cpptest.h"

/* CPPTEST_TEST_SUITE_CODE_BEGIN AdditionalIncludes */
/* CPPTEST_TEST_SUITE_CODE_END AdditionalIncludes */

CPPTEST_CONTEXT("/Timer/Timer/timer.c");
CPPTEST_TEST_SUITE_INCLUDED_TO("/Timer/Timer/timer.c");

EXTERN_C_LINKAGE void TestSuite_add_timer_record_7b4c7ee5_testSuiteBegin(void);
EXTERN_C_LINKAGE int TestSuite_add_timer_record_7b4c7ee5_callTest(const char*);

CPPTEST_TEST_SUITE(TestSuite_add_timer_record_7b4c7ee5);
        CPPTEST_TEST_SUITE_SETUP(TestSuite_add_timer_record_7b4c7ee5_testSuiteSetUp);
        CPPTEST_TEST(TestSuite_add_timer_record_7b4c7ee5_test_add_timer_record_1);
        CPPTEST_TEST(TestSuite_add_timer_record_7b4c7ee5_test_add_timer_record_2);
        CPPTEST_TEST(TestSuite_add_timer_record_7b4c7ee5_test_add_timer_record_3);
        CPPTEST_TEST(TestSuite_add_timer_record_7b4c7ee5_test_add_timer_record_4);
        CPPTEST_TEST(TestSuite_add_timer_record_7b4c7ee5_test_add_timer_record_5);
        CPPTEST_TEST(TestSuite_add_timer_record_7b4c7ee5_test_add_timer_record_6);
        CPPTEST_TEST(TestSuite_add_timer_record_7b4c7ee5_test_add_timer_record_7);
        CPPTEST_TEST(TestSuite_add_timer_record_7b4c7ee5_test_add_timer_record_8);
        CPPTEST_TEST_SUITE_TEARDOWN(TestSuite_add_timer_record_7b4c7ee5_testSuiteTearDown);
CPPTEST_TEST_SUITE_END();
        
void TestSuite_add_timer_record_7b4c7ee5_test_add_timer_record_1(void);
void TestSuite_add_timer_record_7b4c7ee5_test_add_timer_record_2(void);
void TestSuite_add_timer_record_7b4c7ee5_test_add_timer_record_3(void);
void TestSuite_add_timer_record_7b4c7ee5_test_add_timer_record_4(void);
void TestSuite_add_timer_record_7b4c7ee5_test_add_timer_record_5(void);
void TestSuite_add_timer_record_7b4c7ee5_test_add_timer_record_6(void);
void TestSuite_add_timer_record_7b4c7ee5_test_add_timer_record_7(void);
void TestSuite_add_timer_record_7b4c7ee5_test_add_timer_record_8(void);

CPPTEST_TEST_SUITE_REGISTRATION(TestSuite_add_timer_record_7b4c7ee5);

void TestSuite_add_timer_record_7b4c7ee5_testSuiteSetUp(void);
void TestSuite_add_timer_record_7b4c7ee5_testSuiteSetUp(void)
{
/* CPPTEST_TEST_SUITE_CODE_BEGIN TestSuiteSetUp */
/* CPPTEST_TEST_SUITE_CODE_END TestSuiteSetUp */
}

void TestSuite_add_timer_record_7b4c7ee5_testSuiteTearDown(void);
void TestSuite_add_timer_record_7b4c7ee5_testSuiteTearDown(void)
{
/* CPPTEST_TEST_SUITE_CODE_BEGIN TestSuiteTearDown */
/* CPPTEST_TEST_SUITE_CODE_END TestSuiteTearDown */
}

void TestSuite_add_timer_record_7b4c7ee5_setUp(void);
void TestSuite_add_timer_record_7b4c7ee5_setUp(void)
{
/* CPPTEST_TEST_SUITE_CODE_BEGIN TestCaseSetUp */
/* CPPTEST_TEST_SUITE_CODE_END TestCaseSetUp */
}

void TestSuite_add_timer_record_7b4c7ee5_tearDown(void);
void TestSuite_add_timer_record_7b4c7ee5_tearDown(void)
{
/* CPPTEST_TEST_SUITE_CODE_BEGIN TestCaseTearDown */
/* CPPTEST_TEST_SUITE_CODE_END TestCaseTearDown */
}


/* CPPTEST_TEST_CASE_BEGIN test_add_timer_record_1 */
/* CPPTEST_TEST_CASE_CONTEXT void add_timer_record(struct timer_record *) */
void TestSuite_add_timer_record_7b4c7ee5_test_add_timer_record_1()
{
    /* Pre-condition initialization */
    /* Initializing argument 1 (tr) */ 
    struct timer_record _tr_0 ;
    struct timer_record * _tr  = & _tr_0;
    /* Initializing global variable curr_index */ 
    {
         curr_index  = -1;
    }
    /* Pre-condition report */
    CPPTEST_REPORT_PTR("Input: struct timer_record * _tr ", ( _tr ));
    CPPTEST_REPORT_PTR("Input: struct timer_record * timer_records[0] ", ( timer_records[0] ));
    CPPTEST_REPORT_INTEGER("Input: int curr_index", ( curr_index ));
    {
        /* Tested function call */
        add_timer_record(_tr);
        /* Post-condition report */
        CPPTEST_REPORT_PTR("Output: struct timer_record * _tr ", ( _tr ));
        CPPTEST_REPORT_PTR("Output: struct timer_record * timer_records[0] ", ( timer_records[0] ));
        CPPTEST_REPORT_INTEGER("Output: int curr_index", ( curr_index ));
        /* Post-condition check */
        CPPTEST_POST_CONDITION_PTR("struct timer_record * _tr ", ( _tr ));
        CPPTEST_POST_CONDITION_PTR("struct timer_record * timer_records[0] ", ( timer_records[0] ));
        CPPTEST_POST_CONDITION_INTEGER("int curr_index", ( curr_index ));
    }
}
/* CPPTEST_TEST_CASE_END test_add_timer_record_1 */

/* CPPTEST_TEST_CASE_BEGIN test_add_timer_record_2 */
/* CPPTEST_TEST_CASE_CONTEXT void add_timer_record(struct timer_record *) */
void TestSuite_add_timer_record_7b4c7ee5_test_add_timer_record_2()
{
    /* Pre-condition initialization */
    /* Initializing argument 1 (tr) */ 
    struct timer_record _tr_0 ;
    struct timer_record * _tr  = & _tr_0;
    /* Initializing global variable curr_index */ 
    {
         curr_index  = 99;
    }
    /* Pre-condition report */
    CPPTEST_REPORT_PTR("Input: struct timer_record * _tr ", ( _tr ));
    CPPTEST_REPORT_PTR("Input: struct timer_record * timer_records[0] ", ( timer_records[0] ));
    CPPTEST_REPORT_INTEGER("Input: int curr_index", ( curr_index ));
    {
        /* Tested function call */
        add_timer_record(_tr);
        /* Post-condition report */
        CPPTEST_REPORT_PTR("Output: struct timer_record * _tr ", ( _tr ));
        CPPTEST_REPORT_PTR("Output: struct timer_record * timer_records[0] ", ( timer_records[0] ));
        CPPTEST_REPORT_INTEGER("Output: int curr_index", ( curr_index ));
        /* Post-condition check */
        CPPTEST_POST_CONDITION_PTR("struct timer_record * _tr ", ( _tr ));
        CPPTEST_POST_CONDITION_PTR("struct timer_record * timer_records[0] ", ( timer_records[0] ));
        CPPTEST_POST_CONDITION_INTEGER("int curr_index", ( curr_index ));
    }
}
/* CPPTEST_TEST_CASE_END test_add_timer_record_2 */

/* CPPTEST_TEST_CASE_BEGIN test_add_timer_record_3 */
/* CPPTEST_TEST_CASE_CONTEXT void add_timer_record(struct timer_record *) */
void TestSuite_add_timer_record_7b4c7ee5_test_add_timer_record_3()
{
    /* Pre-condition initialization */
    /* Initializing argument 1 (tr) */ 
    struct timer_record _tr_0 ;
    struct timer_record * _tr  = & _tr_0;
    /* Initializing global variable curr_index */ 
    {
         curr_index  = 101;
    }
    /* Pre-condition report */
    CPPTEST_REPORT_PTR("Input: struct timer_record * _tr ", ( _tr ));
    CPPTEST_REPORT_PTR("Input: struct timer_record * timer_records[0] ", ( timer_records[0] ));
    CPPTEST_REPORT_INTEGER("Input: int curr_index", ( curr_index ));
    {
        /* Tested function call */
        add_timer_record(_tr);
        /* Post-condition report */
        CPPTEST_REPORT_PTR("Output: struct timer_record * _tr ", ( _tr ));
        CPPTEST_REPORT_PTR("Output: struct timer_record * timer_records[0] ", ( timer_records[0] ));
        CPPTEST_REPORT_INTEGER("Output: int curr_index", ( curr_index ));
        /* Post-condition check */
        CPPTEST_POST_CONDITION_PTR("struct timer_record * _tr ", ( _tr ));
        CPPTEST_POST_CONDITION_PTR("struct timer_record * timer_records[0] ", ( timer_records[0] ));
        CPPTEST_POST_CONDITION_INTEGER("int curr_index", ( curr_index ));
    }
}
/* CPPTEST_TEST_CASE_END test_add_timer_record_3 */

/* CPPTEST_TEST_CASE_BEGIN test_add_timer_record_4 */
/* CPPTEST_TEST_CASE_CONTEXT void add_timer_record(struct timer_record *) */
void TestSuite_add_timer_record_7b4c7ee5_test_add_timer_record_4()
{
    /* Pre-condition initialization */
    /* Initializing argument 1 (tr) */ 
    struct timer_record _tr_0 ;
    struct timer_record * _tr  = & _tr_0;
    /* Initializing global variable curr_index */ 
    {
         curr_index  = 100;
    }
    /* Pre-condition report */
    CPPTEST_REPORT_PTR("Input: struct timer_record * _tr ", ( _tr ));
    CPPTEST_REPORT_PTR("Input: struct timer_record * timer_records[0] ", ( timer_records[0] ));
    CPPTEST_REPORT_INTEGER("Input: int curr_index", ( curr_index ));
    {
        /* Tested function call */
        add_timer_record(_tr);
        /* Post-condition report */
        CPPTEST_REPORT_PTR("Output: struct timer_record * _tr ", ( _tr ));
        CPPTEST_REPORT_PTR("Output: struct timer_record * timer_records[0] ", ( timer_records[0] ));
        CPPTEST_REPORT_INTEGER("Output: int curr_index", ( curr_index ));
        /* Post-condition check */
        CPPTEST_POST_CONDITION_PTR("struct timer_record * _tr ", ( _tr ));
        CPPTEST_POST_CONDITION_PTR("struct timer_record * timer_records[0] ", ( timer_records[0] ));
        CPPTEST_POST_CONDITION_INTEGER("int curr_index", ( curr_index ));
    }
}
/* CPPTEST_TEST_CASE_END test_add_timer_record_4 */

/* CPPTEST_TEST_CASE_BEGIN test_add_timer_record_5 */
/* CPPTEST_TEST_CASE_CONTEXT void add_timer_record(struct timer_record *) */
void TestSuite_add_timer_record_7b4c7ee5_test_add_timer_record_5()
{
    /* Pre-condition initialization */
    /* Initializing argument 1 (tr) */ 
    struct timer_record _tr_0 ;
    struct timer_record * _tr  = & _tr_0;
    /* Initializing global variable curr_index */ 
    {
         curr_index  = 0;
    }
    /* Pre-condition report */
    CPPTEST_REPORT_PTR("Input: struct timer_record * _tr ", ( _tr ));
    CPPTEST_REPORT_PTR("Input: struct timer_record * timer_records[0] ", ( timer_records[0] ));
    CPPTEST_REPORT_INTEGER("Input: int curr_index", ( curr_index ));
    {
        /* Tested function call */
        add_timer_record(_tr);
        /* Post-condition report */
        CPPTEST_REPORT_PTR("Output: struct timer_record * _tr ", ( _tr ));
        CPPTEST_REPORT_PTR("Output: struct timer_record * timer_records[0] ", ( timer_records[0] ));
        CPPTEST_REPORT_INTEGER("Output: int curr_index", ( curr_index ));
        /* Post-condition check */
        CPPTEST_POST_CONDITION_PTR("struct timer_record * _tr ", ( _tr ));
        CPPTEST_POST_CONDITION_PTR("struct timer_record * timer_records[0] ", ( timer_records[0] ));
        CPPTEST_POST_CONDITION_INTEGER("int curr_index", ( curr_index ));
    }
}
/* CPPTEST_TEST_CASE_END test_add_timer_record_5 */

/* CPPTEST_TEST_CASE_BEGIN test_add_timer_record_6 */
/* CPPTEST_TEST_CASE_CONTEXT void add_timer_record(struct timer_record *) */
void TestSuite_add_timer_record_7b4c7ee5_test_add_timer_record_6()
{
    /* Pre-condition initialization */
    /* Initializing argument 1 (tr) */ 
    struct timer_record _tr_0 ;
    struct timer_record * _tr  = & _tr_0;
    /* Initializing global variable curr_index */ 
    {
         curr_index  = 1;
    }
    /* Pre-condition report */
    CPPTEST_REPORT_PTR("Input: struct timer_record * _tr ", ( _tr ));
    CPPTEST_REPORT_PTR("Input: struct timer_record * timer_records[0] ", ( timer_records[0] ));
    CPPTEST_REPORT_INTEGER("Input: int curr_index", ( curr_index ));
    {
        /* Tested function call */
        add_timer_record(_tr);
        /* Post-condition report */
        CPPTEST_REPORT_PTR("Output: struct timer_record * _tr ", ( _tr ));
        CPPTEST_REPORT_PTR("Output: struct timer_record * timer_records[0] ", ( timer_records[0] ));
        CPPTEST_REPORT_INTEGER("Output: int curr_index", ( curr_index ));
        /* Post-condition check */
        CPPTEST_POST_CONDITION_PTR("struct timer_record * _tr ", ( _tr ));
        CPPTEST_POST_CONDITION_PTR("struct timer_record * timer_records[0] ", ( timer_records[0] ));
        CPPTEST_POST_CONDITION_INTEGER("int curr_index", ( curr_index ));
    }
}
/* CPPTEST_TEST_CASE_END test_add_timer_record_6 */

/* CPPTEST_TEST_CASE_BEGIN test_add_timer_record_7 */
/* CPPTEST_TEST_CASE_CONTEXT void add_timer_record(struct timer_record *) */
void TestSuite_add_timer_record_7b4c7ee5_test_add_timer_record_7()
{
    /* Pre-condition initialization */
    /* Initializing argument 1 (tr) */ 
    struct timer_record _tr_0 ;
    struct timer_record * _tr  = & _tr_0;
    /* Initializing global variable curr_index */ 
    {
         curr_index  = cpptestLimitsGetMaxInt();
    }
    /* Pre-condition report */
    CPPTEST_REPORT_PTR("Input: struct timer_record * _tr ", ( _tr ));
    CPPTEST_REPORT_PTR("Input: struct timer_record * timer_records[0] ", ( timer_records[0] ));
    CPPTEST_REPORT_INTEGER("Input: int curr_index", ( curr_index ));
    {
        /* Tested function call */
        add_timer_record(_tr);
        /* Post-condition report */
        CPPTEST_REPORT_PTR("Output: struct timer_record * _tr ", ( _tr ));
        CPPTEST_REPORT_PTR("Output: struct timer_record * timer_records[0] ", ( timer_records[0] ));
        CPPTEST_REPORT_INTEGER("Output: int curr_index", ( curr_index ));
        /* Post-condition check */
        CPPTEST_POST_CONDITION_PTR("struct timer_record * _tr ", ( _tr ));
        CPPTEST_POST_CONDITION_PTR("struct timer_record * timer_records[0] ", ( timer_records[0] ));
        CPPTEST_POST_CONDITION_INTEGER("int curr_index", ( curr_index ));
    }
}
/* CPPTEST_TEST_CASE_END test_add_timer_record_7 */

/* CPPTEST_TEST_CASE_BEGIN test_add_timer_record_8 */
/* CPPTEST_TEST_CASE_CONTEXT void add_timer_record(struct timer_record *) */
void TestSuite_add_timer_record_7b4c7ee5_test_add_timer_record_8()
{
    /* Pre-condition initialization */
    /* Initializing argument 1 (tr) */ 
    struct timer_record _tr_0 ;
    struct timer_record * _tr  = & _tr_0;
    /* Initializing global variable curr_index */ 
    {
         curr_index  = cpptestLimitsGetMinInt();
    }
    /* Pre-condition report */
    CPPTEST_REPORT_PTR("Input: struct timer_record * _tr ", ( _tr ));
    CPPTEST_REPORT_PTR("Input: struct timer_record * timer_records[0] ", ( timer_records[0] ));
    CPPTEST_REPORT_INTEGER("Input: int curr_index", ( curr_index ));
    {
        /* Tested function call */
        add_timer_record(_tr);
        /* Post-condition report */
        CPPTEST_REPORT_PTR("Output: struct timer_record * _tr ", ( _tr ));
        CPPTEST_REPORT_PTR("Output: struct timer_record * timer_records[0] ", ( timer_records[0] ));
        CPPTEST_REPORT_INTEGER("Output: int curr_index", ( curr_index ));
        /* Post-condition check */
        CPPTEST_POST_CONDITION_PTR("struct timer_record * _tr ", ( _tr ));
        CPPTEST_POST_CONDITION_PTR("struct timer_record * timer_records[0] ", ( timer_records[0] ));
        CPPTEST_POST_CONDITION_INTEGER("int curr_index", ( curr_index ));
    }
}
/* CPPTEST_TEST_CASE_END test_add_timer_record_8 */
